CatDat

Implication Details

Assumptions: filtered colimitsself-dual

Conclusions: cofiltered limits

Reason: This holds by self-duality.